Euclid: Elements 1: Prop. 13